1. Formal Methods: State of the Art and New Directions
Author: / Paul Boca, Jonathan P. Bowen, Jawed Siddiqi
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
2. Formal methods
Author: Paul Boca, Jonathan P. Bowen, Jawed I. Siddiqi, editors
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Formal methods (Computer science)
Classification :
QA
،
76
.
9
،.
F67
,
F665
،
2010
3. Formal methods : state of the art and new directions
Author: editors Paul Boca, Jonathan P. Bowen, Jawed I. Siddiqi
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Formal methods )Computer science(
Classification :
QA
76
.
9
.
F67
F67
2010
